#include "types.h"
#include "stat.h"
#include "user.h"

int
main(void)
{
  int i = addone(5);
  printf(1,"addone(5) = %d \n", i);
  exit(); 

}
